Violet Ka I Pun is currently associate professor in Software Engineering research group, at Western Norway University of Applied Sciences. Before that, she was a postdoctoral researcher in the research group Precise Modeling and Analysis at the University of Oslo and a senior lecturer at the University of Bergen. She received her PhD degree in Computer Science at the University of Oslo, and had her earlier education at the University of Macau.
Her major areas of expertise are using formal methods to verify the behaviour of concurrent programs, with the focus on statically estimating worst-case execution time and scheduling concurrent tasks running on scalable distributed systems, formal modelling and analysis of multicore architectures, as well as information flow analysis for concurrent programs. Recently, she is working on model-based business process planning with tool-supported and automated analyses in terms of formal methods. In addition, she is interested in digitalisation of healthcare domain, including data privacy and self-adapting patient treatments.
Young Research Talent Project funded by the Research Council of Norway.
Pathology services in the Western Norway Health Region – a centre for applied digitization
AURORA mobility programme between Norway and France, partially funded by the Research Council of Norway.
UpScale was an EU FP7 FET Open-X research project. The project aims at making use of the manycore computers of tomorrow as efficient as possible.
Western Norway University of Applied Sciences
DAT103: Computers and Operating Systems
DAT151: Database and Unix System Administration
DAT191:
Bachelor Thesis (Previously DAT190)
University of Bergen
INF214: Concurrent Programming
INF122: Functional Programming
Universiyt of Oslo
INF4140: Models of Concurrency
INF2220: Algorithms and data structures
University of Macau
ECSS021: Computer Literacy